Polyèdres et compilation

Polyèdres et compilation

Résumé La première utilisation de polyèdres pour résoudre un problème de compilation, la parallélisation automatique de boucles en présence d’appels de procédure, a été décrite et implémenté il y a près de trente ans. Le modèle polyédrique est maintenant reconnu internationalement et est en phase d’intégration dans le compilateur GCC, bien que la complexité exponentielle des algorithmes associé...

Recherche - SPPoC: manipulation automatique de polyèdres pour la compilation

RÉSUMÉ. Le modèle polyèdrique est très souvent utilisé pour l’analyse et la transformation de programme dans les compilateurs paralléliseurs. Les prototypes de recherche dans ce domaine utilisent donc souvent des outils comme PIP (résolution paramétrique de problèmes linéaires), la PolyLib (bibliothèque de manipulation de polyèdres) ou Omega (bibliothèque et interface de manipulation de formule...

Compilation et vérification de programmes LOTOS

LOTOS (Language Of Temporal Ordering Specification) is a language for the description of concurrent and communicating systems, standardized by ISO and CCITT to allow formal definition of telecommunication protocols and services. LOTOS is based on algebraic abstract types to specify data structures and on a process calculus, close to CSP and CCS, to express control structures. This thesis propos...

Cryptocomputing systems, compilation and runtime. (Systèmes de cryptocalculs, compilation et support d'exécution)

Systèmes de cryptocalculs, compilation et support d’exécution Thèse soutenue le 22 mars 2016 devant le jury composé de : M. Carlos AGUILAR-MELCHOR, Maitre de Conférences-HDR, IRIT M. Albert COHEN, Directeur de Recherche INRIA, ENS Mme. Caroline FONTAINE, Chargée de Recherche CNRS-HDR, TB M. Guy GOGNIAT, Professeur des Universités, UBS M. Philippe GABORIT, Professeur des Universités, Université ...

Conception et compilation d'un langage pour l'écriture de cours